RankSQL: Query Algebra and Optimization for Relational Top-k Queries ∗ Chengkai Li1 Kevin Chen-Chuan Chang1

Source URL: cs.uwaterloo.ca

• Data management
• Relational model
• Computing
• Mathematics
• Mathematical notation
• Database theory
• Relational algebra
• SQL keywords
• Database management systems
• Relational database
• Query optimization
• Join

Microsoft Word - CollaborationSessionResults12-07.docx

Source URL: cahsi.cs.utep.edu

• Education
• Science and technology
• Science
• Education policy
• Engineering education
• Experiential learning
• Mathematics education
• Science education
• Science
• technology
• engineering
• and mathematics
• Gender disparity in computing

GPU Cluster Computing for Finite Element Applications Dominik G¨oddeke, Hilmar Wobker, Sven H.M. Buijssen and Stefan Turek Applied Mathematics TU Dortmund

Source URL: www.speedup.ch

DOC Document

Source URL: grids.ucs.indiana.edu

• Computing
• Education policy
• Education
• E-Science
• Cyberinfrastructure
• Science
• technology
• engineering
• and mathematics
• MSI
• Micro-Star International
• TeraGrid
• Minority-serving institution

SSDL: overview Goal: Improving the quality of systems and software Means:

Source URL: www.cs.technion.ac.il

• Model checking
• Formal verification
• Software engineering
• Programming language
• Software development process
• Science
• Computing
• Formal methods
• SOAP Service Description Language
• Applied mathematics

Graphical Models for Graph Matching Tib´erio S. Caetano†‡ ,Terry Caelli† and Dante A. C. Barone‡ †Department of Computing Science University of Alberta Edmonton, AB, Canada, T6G 2E8 ‡Instituto de Inform´ati

Source URL: www.tiberiocaetano.com

• Graph operations
• Graphical model
• Tree decomposition
• Tree
• Matching
• Graph theory
• Theoretical computer science
• Mathematics

Advanced Scientific Computing Research FY 2004 Accomplishment Scientific Application Prototype Project Fundamental Algorithms for Advanced Applications in Science and Technology-Low Separation Rank Approximations for

Source URL: www.csm.ornl.gov

• Computational science
• Theoretical chemistry
• Numerical analysis
• Computational physics
• Partial differential equations
• Computational electromagnetics
• Computational chemistry
• Algorithm
• Wavelet
• Science
• Chemistry
• Mathematics

Languages for Gestalts of Line Patterns Mehdi Dastani Institute of Information and Computing Sciences, Faculty of Mathematics and Computer Science, Utrecht University, P.O.Box, 3508 TB Utrecht, The Netherlands. a

Source URL: iaaa.nl

• Psychology
• Cognitive neuroscience
• Information theory
• Structural information theory
• Design
• Gestalt psychology
• Pattern
• Symmetry
• Regular expression
• Perception
• Mind
• Cognitive science

Recursive Session Types Revisited Ornela Dardha∗ School of Computing Science, University of Glasgow, UK Session types model structured communication-based programming. In particular, binary

Source URL: www.dcs.gla.ac.uk

• Computability theory
• Process calculi
• Π-calculus
• Theory of computation
• Function
• Valuation
• Logarithm
• Μ operator
• Primitive recursive function
• Mathematics
• Theoretical computer science
• Functions and mappings

Postdoctoral Scholar Research Opportunity at SDSC Academic Division: Engineering, Mathematics, Natural and Physical Sciences Academic Department/Research Unit: Computer Science and Engineering, Electrical and Computer En

Source URL: hpgeoc.sdsc.edu

• San Diego Supercomputer Center
• University of California
• San Diego
• Supercomputers
• Computational science
• Petascale
• Computer science
• Engineering
• Computing
• Cyberinfrastructure
• E-Science